Abbas Edalat: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Domain theory and integration

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.75 MB

english, 1995

2

The generalized Riemann integral on locally compact spaces

Abbas Edalat, Sara Negri

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 1.72 MB

english, 1998

3

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

Journal:

Bulletin of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.20 MB

english, 1997

4

Power Domains and Iterated Function Systems

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 857 KB

english, 1996

5

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The convex hull of finitely generable subsets and its predicate transformer

Davari, Mohammad Javad, Edalat, Abbas, Lieutier, Andre

Year:

2019

Language:

english

File:

PDF, 199 KB

english, 2019

6

Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields

Abbas Edalat, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

7

A differential operator and weak topology for Lipschitz maps

Journal:

Topology and its Applications

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

8

Bounding the attractor of an IFS

Abbas Edalat, David Sharp, Lyndon While

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 402 KB

english, 1997

9

Foundation of a computable solid modelling

Abbas Edalat, André Lieutier

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 337 KB

english, 2002

10

A computational model for metric spaces

Abbas Edalat, Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.43 MB

english, 1998

11

A domain-theoretic approach to computability on the real line

Abbas Edalat, Philipp Sünderhauf

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.80 MB

english, 1999

12

Computable Banach spaces via domain theory

Abbas Edalat, Philipp Sünderhauf

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.14 MB

english, 1999

13

A New Representation for Exact Real Numbers

Abbas Edalat, Peter John Potts

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 886 KB

english, 1997

14

Preface: Volume 13, Issue 1

Abbas Edalat, Achim Jung, Klaus Keimel, Marta Kwiatkowska

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 32 KB

english, 1998

15

An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets

Abbas Edalat, Joseph Parry

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 595 KB

english, 1998

16

Preface: Volume 24

Abbas Edalat, David Matula, Philipp Sünderhauf

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 32 KB

english, 2000

17

Information categories

Abbas Edalat, Michael B. Smyth

Journal:

Applied Categorical Structures

Year:

1993

Language:

english

File:

PDF, 2.10 MB

english, 1993

18

Molecular cloning of cDNA of mammalian and chicken II gonadotropin-releasing hormones (mGnRHs and cGnRH-II) in the beluga (Huso huso) and the disruptive effect of methylmercury on gene expression

Ahmad Gharaei, Fereidoun Mahboudi, Abbas Esmaili-Sari, Rozita Edalat, Ahmad Adeli, Saeed Keyvanshokooh

Journal:

Fish Physiology and Biochemistry

Year:

2010

Language:

english

File:

PDF, 732 KB

english, 2010

19

I-Categories as a framework for solving domain equations

Abbas Edalat, Michael B. Smyth

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.84 MB

english, 1993

20

The domain of differentiable functions

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 28 KB

2001

21

An Extension of Gleason's Theorem for Quantum Computation

Journal:

International Journal of Theoretical Physics

Year:

2004

Language:

english

File:

PDF, 93 KB

english, 2004

22

Integration in Real PCF

Abbas Edalat, Martı&amp, #x0301, n Hötzel Escardó

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 270 KB

english, 2000

23

Bisimulation for Labelled Markov Processes

Josée Desharnais, Abbas Edalat, Prakash Panangaden

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

24

A computable approach to measure and integration theory

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

25

Denotational semantics of hybrid automata

Abbas Edalat, Dirk Pattinson

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

26

A computational model for multi-variable differential calculus

Edalat, Abbas, Lieutier, André, Pattinson, Dirk

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

27

The effect of ultrasound on the expression of CNTF gene, a possible cause of ultrasound influence on the rate of injured peripheral nerve regeneration

Jahromy, Fatemeh Zareayan, Behnam, Hamid, Mansoori, Kourosh, Rahimi, Amir Abbas, Edalat, Rosita, Mobarake, Jalal Izadi

Journal:

Australasian Physical & Engineering Sciences in Medicine

Year:

2013

Language:

english

File:

PDF, 275 KB

english, 2013

28

Application of Continuous Polydisperse Molecular Thermodynamics for Modeling Asphaltene Precipitation in Crude Oil Systems

Manshad, Abbas Khaksar, Edalat, Mohsen

Journal:

Year:

2008

Language:

english

File:

PDF, 166 KB

english, 2008

29

[IEEE 2013 International Joint Conference on Neural Networks (IJCNN 2013 - Dallas) - Dallas, TX, USA (2013.08.4-2013.08.9)] The 2013 International Joint Conference on Neural Networks (IJCNN) - Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns

Edalat, Abbas, Mancinelli, Federico

Year:

2013

Language:

english

File:

PDF, 327 KB

english, 2013

30

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Weak Topology and a Differentiable Operator for Lipschitz Maps

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

31

A derivative for complex Lipschitz maps with generalised Cauchy–Riemann equations

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 541 KB

english, 2015

32

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - A computable approach to measure and integration theory

Year:

2007

Language:

english

File:

PDF, 210 KB

english, 2007

33

Stability of the unfolding of the predator-prey model

Journal:

Dynamical Systems / An International Journal

Year:

1994

Language:

english

File:

PDF, 660 KB

english, 1994

34

[IEEE 2014 International Joint Conference on Neural Networks (IJCNN) - Beijing, China (2014.7.6-2014.7.11)] 2014 International Joint Conference on Neural Networks (IJCNN) - A neural model of mentalization/mindfulness based psychotherapy

Edalat, Abbas, Lin, Zheng

Year:

2014

Language:

english

File:

PDF, 24.51 MB

english, 2014

35

Domain theory and differential calculus (functions of one variable)

EDALAT, ABBAS, LIEUTIER, ANDRÉ

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 641 KB

english, 2004

36

Introduction to special issue on domain theory

Edalat, Abbas, Jung, Achim

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 170 KB

english, 2004

37

When Scott is weak on the top

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 536 KB

english, 1997

38

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - A domain-theoretic approach to Brownian motion and general continuous stochastic processes

Bilokon, Paul, Edalat, Abbas

Year:

2014

Language:

english

File:

PDF, 191 KB

english, 2014

39

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Lazy computation with exact real numbers

Edalat, Abbas, Potts, Peter John, Sünderhauf, Philipp

Year:

1998

Language:

english

File:

PDF, 1.16 MB

english, 1998

40

[ACM Press the fifth ACM symposium - Ann Arbor, Michigan, United States (1999.06.08-1999.06.11)] Proceedings of the fifth ACM symposium on Solid modeling and applications - SMA '99 - Foundation of a computable solid modeling

Edalat, Abbas, Lieutier, André

Year:

1999

Language:

english

File:

PDF, 840 KB

english, 1999

41

[IEEE 2014 IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain (CCMB) - Orlando, FL, USA (2014.12.9-2014.12.12)] 2014 IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain (CCMB) - An arousal-based neural model of infant attachment

Cittern, David, Edalat, Abbas

Year:

2014

Language:

english

File:

PDF, 795 KB

english, 2014

42

[IEEE 2015 International Joint Conference on Neural Networks (IJCNN) - Killarney, Ireland (2015.7.12-2015.7.17)] 2015 International Joint Conference on Neural Networks (IJCNN) - Introduction to self-attachment and its neural basis

Year:

2015

Language:

english

File:

PDF, 546 KB

english, 2015

43

[IEEE 2015 International Joint Conference on Neural Networks (IJCNN) - Killarney, Ireland (2015.7.12-2015.7.17)] 2015 International Joint Conference on Neural Networks (IJCNN) - Towards a neural model of bonding in self-attachment

Cittern, David, Edalat, Abbas

Year:

2015

Language:

english

File:

PDF, 1013 KB

english, 2015

44

[IEEE 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) - Hangzhou, TBD, China (2011.05.16-2011.05.19)] 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission - Visual Hull from Imprecise Polyhedral Scene

He, Peng, Edalat, Abbas

Year:

2011

Language:

english

File:

PDF, 1.69 MB

english, 2011

45

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Extensions of Domain Maps in Differential and Integral Calculus

Year:

2015

Language:

english

File:

PDF, 294 KB

english, 2015

46

Semi-pullbacks and bisimulation in categories of Markov processes

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 315 KB

english, 1999

47

Lazy computation with exact real numbers

Edalat, Abbas, Potts, Peter John, Sünderhauf, Philipp

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.16 MB

english, 1999

48

Developing of Scaling Equation with Function of Pressure to Determine Onset of Asphaltene Precipitation

Menshad, Abbas Khaksar, Mofidi, Amir Mohsen, Shariatpanahi, Farzad, Edalat, Mohsen

Journal:

Journal of the Japan Petroleum Institute

Year:

2008

Language:

english

File:

PDF, 466 KB

english, 2008

49

A domain-theoretic approach to Brownian motion and general continuous stochastic processes

Bilokon, Paul, Edalat, Abbas

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 992 KB

english, 2017

50

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Differentiation in logical form

Edalat, Abbas, Maleki, Mehrdad

Year:

2017

Language:

english

File:

PDF, 346 KB

english, 2017